@symbola: Symbola, "Times New Roman", serif;
@times: "Times New Roman", Symbola, serif;
@mono: "Courier New", monospace;
